1. Formal Specification Using Z
Author: / David lightfood,Lightfoot
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Z (Computer Program language),Formal languages
Classification :
QA
76
.
73
.
Z2L5
1991
